Sponging   disallowed (Read-only view)

If a proper interval T1 is intervalMeets another proper interval T2, then the end of T1 is coincident with the beginning of T2.

% meta-cartridges called:
Meta-cartridge [execution time]: